$\forall$$M$:MsgA, $x$:Id. $x$ declared in $M$ $\in$ Prop